Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
471	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mscs.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
472	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic
473	Author manuscript, published in "Lecture notes in computer science (2011)" DOI : [removed][removed]9_26 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2011-12-12 09:47:02 Lambda calculus Computability theory Theoretical computer science ATS Envelope Monad Caml Normalisation by evaluation Combinatory logic Software engineering Mathematics Computing
474 $Combinatorics / Number theory / Analytic functions / Binomial coefficient / Generating function / Partial fraction / Combinatory logic / Factorial / Partition / Mathematics / Mathematical analysis / Integer sequences$	CHAPTER 11 Generating Function Add to Reading List Source URL: www.math.ucsd.edu Language: English* - Date: 2005-07-29 08:37:26 Combinatorics Number theory Analytic functions Binomial coefficient Generating function Partial fraction Combinatory logic Factorial Partition Mathematics Mathematical analysis Integer sequences
475	Programming with Arrows John Hughes Department of Computer Science and Engineering, Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2006-03-06 04:22:11 Functional programming Adjoint functors Arrow Monad Kleisli category Combinatory logic Side effect Combinator library Foreach loop Software engineering Declarative programming Computing
476	The Next 700 Programming Languages P. J. Landin Univac Division of Sperry Rand Corp., New York, New York Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-13 14:59:50 Combinatory logic Lambda calculus Logic in computer science Classical cipher Four-square cipher Computer programming Computing Software engineering
477	INTEGERS[removed]) #A29 Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-05-06 15:23:41 Enumerative combinatorics Algebra Catalan number Recurrence relation Generating function Combinatory logic Mathematics Combinatorics Integer sequences
478	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science
479	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-05 14:17:27 Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science Theoretical computer science Mathematical logic

UPDATE